This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software ...
اقرأ المزيدThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
اقرأ المزيدThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
اقرأ المزيدThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
اقرأ المزيدThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
اقرأ المزيدEfforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
اقرأ المزيدEfforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
اقرأ المزيدThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
اقرأ المزيدThis book argues that the key problems of software systems development (SSD) are socio-technical rather than purely technical ...
اقرأ المزيدThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
اقرأ المزيدThis book considers the potential and limitations of the various mathematical approaches and thereby aims to give a balanced ...
اقرأ المزيدThis book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...
اقرأ المزيدThis book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March ...
اقرأ المزيدThis book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 13th International Conference on the Quality of Information and Communications ...
اقرأ المزيدThis book constitutes the proceedings of the 3rd European Workshop on Software Architecture (EWSA 2006) provided an internationalforumforresearchersandpractitionersfromacademiaandindustry ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
اقرأ المزيدConstitutes the refereed proceeding of the 12th European Software Process Improvement Conference, EuroSPI 2005, held in Budapest, ...
اقرأ المزيدThis volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...
اقرأ المزيد